GAP (logiciel de calcul formel)
GAP (abréviation de groups, algorithms, programming) est un logiciel libre, pour l'algorithmique algébrique. Il possède une bibliothèque très richeManuels de référence de la bibliothèque de GAP, notamment pour la théorie des nombres, la combinatoire, le calcul sur les groupes finis, les polynômes, mots, automates, graphes et codes.